Real closed field

Results: 43



#Item
31A PURELY ALGEBRAIC CHARACTERIZATION OF THE HYPERREAL NUMBERS VIERI BENCI AND MAURO DI NASSO

A PURELY ALGEBRAIC CHARACTERIZATION OF THE HYPERREAL NUMBERS VIERI BENCI AND MAURO DI NASSO

Add to Reading List

Source URL: www.dm.unipi.it

Language: English - Date: 2008-01-09 05:07:00
32The Ghosts of Departed Quantities Lindsay Keegan April 16, 2010

The Ghosts of Departed Quantities Lindsay Keegan April 16, 2010

Add to Reading List

Source URL: www.math.ufl.edu

Language: English - Date: 2011-01-10 17:17:24
33TMME, vol. 7, no. 1, p. 3  When is[removed]less than 1?

TMME, vol. 7, no. 1, p. 3 When is[removed]less than 1?

Add to Reading List

Source URL: www.math.umt.edu

Language: English - Date: 2010-01-14 17:29:24
34ZORN’S LEMMA AND SOME APPLICATIONS, II KEITH CONRAD

ZORN’S LEMMA AND SOME APPLICATIONS, II KEITH CONRAD

Add to Reading List

Source URL: www.math.uconn.edu

Language: English - Date: 2013-05-08 21:54:31
35THE ARTIN-SCHREIER THEOREM KEITH CONRAD

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

Add to Reading List

Source URL: www.math.uconn.edu

Language: English - Date: 2013-03-16 18:51:49
36Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

Add to Reading List

Source URL: euclid.colorado.edu

Language: English - Date: 2013-04-05 17:28:46
37Author manuscript, published in

Author manuscript, published in "ITP - 3rd International Conference on Interactive Theorem Proving[removed])" Construction of real algebraic numbers in Coq

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2012-06-13 17:24:51
38fea-pillay.qxp[removed]

fea-pillay.qxp[removed]

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2000-11-14 11:13:29
39Model Theory and Exponentiation

Model Theory and Exponentiation

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 1999-03-08 15:14:53
40tmp_750629346.ps

tmp_750629346.ps

Add to Reading List

Source URL: perso.univ-rennes1.fr

Language: English - Date: 2011-09-01 04:05:30